Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
891	Compact Representations for Shortest-‐Path Queries Pankaj K. Agarwal Duke University The paradigm of computing geometric summaries has Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 06:59:56 Algorithm Mathematical logic Theoretical computer science Mathematical optimization Combinatorial optimization Mathematics Operations research Applied mathematics
892	Advanced Inquiry/Scientific Process Rubric SCIENTIFIC CONCEPTS SCIENTIFIC INQUIRY DATA/OBSERVATIONS Add to Reading List Source URL: www.need.org Language: English - Date: 2015-02-11 09:29:44 Ethology Thought Reasoning Inquiry Logic Scientific method Models of scientific inquiry Reason Science Philosophy of science Knowledge
893	Automatic Synthesis of Out-of-Core Algorithms Yannis Klonatos Andres Nötzli Andrej Spielmann Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-26 14:52:18 Algorithm Mathematical logic Theoretical computer science Function Fold Stack Divide and conquer algorithm Mathematics Computing Algorithms
894	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
895	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
896	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic
897	Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic Eran Yahav School of Computer Science Tel-Aviv University, Tel-Aviv 69978 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:34:16 Digital typography Orthography Linguistics Collation Latin-derived alphabet World glyph set Character encoding Latin alphabets Latin script
898	CategorySocial Sciences Each General Education category is grounded in a set of learning outcomes. For the full set of learning outcomes for History & Social Sciences courses see: www.gened.umd.edu This rubric is design Add to Reading List Source URL: www.gened.umd.edu Language: English - Date: 2015-05-18 17:12:41 Evaluation methods Rubric Logic Evaluation Knowledge Education Science
899	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
900	Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-05-03 16:27:37 Computing Logic in computer science Theoretical computer science Programming language semantics Abductive reasoning Charles Sanders Peirce Operational semantics ALGOL 68 Algorithm Procedural programming languages Programming language theory Software engineering

UPDATE